Overview of the Mathemagix Type System
نویسنده
چکیده
The goal of the Mathemagix project is to develop a new and free software for computer algebra and computer analysis, based on a strongly typed and compiled language. In this paper, we focus on the underlying type system of this language, which allows for heavy overloading, including parameterized overloading with parameters in so called “categories”. The exposition is informal and aims at giving the reader an overview of the main concepts, ideas and differences with existing languages. In a forthcoming paper, we intend to describe the formal semantics of the type system in more details. Keywords
منابع مشابه
An overview of the effective educational supervision
Introduction: The role of the education system in the training of human resources to move community towards universal accelerate development is very important. The educational supervision is an important element for the achievement of this goal. Objective: The purpose of this article is an overview of the effective educational supervision Material and Method: This review article was conduct...
متن کاملOverview of Performance and Accuracy of Smartphone Sensors in Augmented Reality Applications
Since incorrect excavations have resulted in extensive and irreparable financial and physical losses, therefore different drillings require having accurate information about the status of the infrastructures. Ubiquitous Geospatial Information System (UBGIS) as a new generation of Geospatial Information System (GIS) can be a good solution to avoid such problems. Augmented Reality (AR) is the ne...
متن کاملAn Overview of Novel Energy Storage Systems with Air Compression Method
With the increasing use of renewable energy systems and the volatility of access to this type of energy, needs energy storage systems to sustain the system. In the meantime, energy storage systems have distinct characteristics and applications, one of which is the compressed air energy storage system. In the present paper, the newest researches and novel systems in the field of energy storage b...
متن کاملAn Overview of Hydroelectric Power Plant: Operation, Modeling, and Control
Renewable energy provides twenty percent of electricity generation worldwide. Hydroelectric power is the cheapest way to generate electricity today. It is a renewable source of energy and provides almost one-fifth of electricity in the world. Also, it generates electricity using a renewable natural resource and accounting for six percent of worldwide energy supply or about fifteen percent of th...
متن کاملAn Overview of the Effects of Melatonin on Nervous System Diseases
Introduction: Melatonin is a hormone secreted from the pineal gland and plays an important role in regulating the brain functions. This hormone with antioxidant activity supports the body against internal and external damaging factors. Melatonin reduces the production of free radicals by preserving mitochondrial homeostasis, and contributes to ATP synthesis in mitochondria. Reduction of melaton...
متن کامل